4 Basic propositional logic (BAPLaCT)